Sebastian Burg
Sebastian Burg
University of Tübingen
Dpt. of Computer Science
Embedded Systems
Sand 13
72076 Tübingen
Germany
- Telephone
- +49 - (0) 70 71 - 29 - 78998
- Telefax
- +49 - (0) 70 71 - 29 - 50 62
- Office
- Sand 13, B225
Publications
2018
A Software Reconfigurable Assertion Checking Unit for Run-Time Error Detection.
by Y. Zhou, S. Burg, O. Bringmann, and W. RosenstielIn European Test Symposium (ETS), 2018.
2016
Linebased End-to-Display Encryption for Secure Documents
by S. Burg, P. Channakeshava, and O. BringmannIn IEEE International Conference on Identity, Security and Behavior Analysis, 2016.
Verfahren und System zur Verschlüsselung von Tastendrücken DE 10 2015 210 573 A1
by Sebastian Burg, Oliver Bringmann, and Dustin PetersonIn Deutsches Patent- und Markenamt, 2016.
2015
End-to-Display Encryption: A Pixel-Domain Encryption with Security Benefit
by Sebastian Burg, Dustin Peterson, and Oliver BringmannIn Proceedings of the 3rd ACM Workshop on Information Hiding and Multimedia Security, pages 123–128. ACM, 2015.
Keywords: encryption, multimedia, physical security, security
2014
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation
by S. Burg, P. Heckeler, S. Huster, H. Eichelberger, J. Behrend, J. Ruf, T. Kropf, and O. BringmannIn Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen 17, 2014.
miniLoCeG+Glucose
by S. Burg, O. Bringmann, and T. KropfIn Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions B-2014-2. Department of Computer Science Series of Publications, 2014.
provoSATeur+glucose
by S. Burg, O. Bringmann, and T. KropfIn Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions B-2014-2. Department of Computer Science Series of Publications, 2014.
Teaching
| Anwendungen der Multimediatechnik | Summer 2012 Summer 2013 Summer 2015 |
|---|---|
| Grundlagen der Multimediatechnik | Winter 2012 Winter 2014 |
| Model-based Verification - Fundamentals and Industrial Practice | Summer 2013 Summer 2014 Summer 2015 |
| Programmierprojekt: Kunterbunter Hund | Summer 2013 |
| Programmierprojekt: Kunterbunter Hund 3.0 | Summer 2015 |
| Programmierprojekt: Kunterbunter Hund IDE | Summer 2014 |
| Safety und Security in Eingebetteten System und autonomen Fahrzeugen | Winter 2016 |
| Seminar: Software Quality | Summer 2016 Winter 2016 Winter 2017 Winter 2018 |
| Softwarequalität in Theorie und Praxis | Winter 2013 Winter 2014 Winter 2015 Summer 2017 Summer 2018 |